# -*- mode: snippet -*-
# name: Fixpoint
# key: fix
# uuid: fix
# --
Fixpoint $1 ($2:$3) {struct ${1:arg}} : $4 :=
$5.
